Optimal. Leaf size=463 \[ -\frac {213}{140} x \sqrt {1+2 x^2+2 x^4}-\frac {27}{70} x^3 \sqrt {1+2 x^2+2 x^4}-\frac {2211 x \sqrt {1+2 x^2+2 x^4}}{140 \sqrt {2} \left (1+\sqrt {2} x^2\right )}-\frac {1}{14} x \left (1+2 x^2+2 x^4\right )^{3/2}+\frac {17}{16} \sqrt {51} \tanh ^{-1}\left (\frac {\sqrt {\frac {17}{3}} x}{\sqrt {1+2 x^2+2 x^4}}\right )+\frac {2211 \left (1+\sqrt {2} x^2\right ) \sqrt {\frac {1+2 x^2+2 x^4}{\left (1+\sqrt {2} x^2\right )^2}} E\left (2 \tan ^{-1}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{140\ 2^{3/4} \sqrt {1+2 x^2+2 x^4}}-\frac {3 \left (514+2717 \sqrt {2}\right ) \left (1+\sqrt {2} x^2\right ) \sqrt {\frac {1+2 x^2+2 x^4}{\left (1+\sqrt {2} x^2\right )^2}} F\left (2 \tan ^{-1}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{140\ 2^{3/4} \left (2+3 \sqrt {2}\right ) \sqrt {1+2 x^2+2 x^4}}-\frac {289 \left (3-\sqrt {2}\right ) \left (1+\sqrt {2} x^2\right ) \sqrt {\frac {1+2 x^2+2 x^4}{\left (1+\sqrt {2} x^2\right )^2}} \Pi \left (\frac {1}{24} \left (12+11 \sqrt {2}\right );2 \tan ^{-1}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{16\ 2^{3/4} \left (2+3 \sqrt {2}\right ) \sqrt {1+2 x^2+2 x^4}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.43, antiderivative size = 875, normalized size of antiderivative = 1.89, number of steps
used = 19, number of rules used = 9, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.310, Rules used = {1349, 1105,
1190, 1211, 1117, 1209, 1222, 1230, 1720} \begin {gather*} -\frac {1}{14} x \left (2 x^4+2 x^2+1\right )^{3/2}-\frac {3}{35} x \left (x^2+2\right ) \sqrt {2 x^4+2 x^2+1}-\frac {3}{20} x \left (2 x^2+9\right ) \sqrt {2 x^4+2 x^2+1}-\frac {6 \sqrt {2} x \sqrt {2 x^4+2 x^2+1}}{35 \left (\sqrt {2} x^2+1\right )}-\frac {309 x \sqrt {2 x^4+2 x^2+1}}{20 \sqrt {2} \left (\sqrt {2} x^2+1\right )}+\frac {17}{16} \sqrt {51} \tanh ^{-1}\left (\frac {\sqrt {\frac {17}{3}} x}{\sqrt {2 x^4+2 x^2+1}}\right )+\frac {6 \sqrt [4]{2} \left (\sqrt {2} x^2+1\right ) \sqrt {\frac {2 x^4+2 x^2+1}{\left (\sqrt {2} x^2+1\right )^2}} E\left (2 \text {ArcTan}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{35 \sqrt {2 x^4+2 x^2+1}}+\frac {309 \left (\sqrt {2} x^2+1\right ) \sqrt {\frac {2 x^4+2 x^2+1}{\left (\sqrt {2} x^2+1\right )^2}} E\left (2 \text {ArcTan}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{20\ 2^{3/4} \sqrt {2 x^4+2 x^2+1}}-\frac {3 \left (9+8 \sqrt {2}\right ) \left (\sqrt {2} x^2+1\right ) \sqrt {\frac {2 x^4+2 x^2+1}{\left (\sqrt {2} x^2+1\right )^2}} F\left (2 \text {ArcTan}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{20\ 2^{3/4} \sqrt {2 x^4+2 x^2+1}}-\frac {3 \left (3+2 \sqrt {2}\right ) \left (\sqrt {2} x^2+1\right ) \sqrt {\frac {2 x^4+2 x^2+1}{\left (\sqrt {2} x^2+1\right )^2}} F\left (2 \text {ArcTan}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{70 \sqrt [4]{2} \sqrt {2 x^4+2 x^2+1}}-\frac {51 \left (5+\sqrt {2}\right ) \left (\sqrt {2} x^2+1\right ) \sqrt {\frac {2 x^4+2 x^2+1}{\left (\sqrt {2} x^2+1\right )^2}} F\left (2 \text {ArcTan}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{16 \sqrt [4]{2} \sqrt {2 x^4+2 x^2+1}}+\frac {867 \left (3-\sqrt {2}\right ) \left (\sqrt {2} x^2+1\right ) \sqrt {\frac {2 x^4+2 x^2+1}{\left (\sqrt {2} x^2+1\right )^2}} F\left (2 \text {ArcTan}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{112 \sqrt [4]{2} \sqrt {2 x^4+2 x^2+1}}-\frac {289 \left (11-6 \sqrt {2}\right ) \left (\sqrt {2} x^2+1\right ) \sqrt {\frac {2 x^4+2 x^2+1}{\left (\sqrt {2} x^2+1\right )^2}} \Pi \left (\frac {1}{24} \left (12+11 \sqrt {2}\right );2 \text {ArcTan}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{224 \sqrt [4]{2} \sqrt {2 x^4+2 x^2+1}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 1105
Rule 1117
Rule 1190
Rule 1209
Rule 1211
Rule 1222
Rule 1230
Rule 1349
Rule 1720
Rubi steps
\begin {align*} \int \frac {x^2 \left (1+2 x^2+2 x^4\right )^{3/2}}{3-2 x^2} \, dx &=\int \left (-\frac {1}{2} \left (1+2 x^2+2 x^4\right )^{3/2}+\frac {3 \left (1+2 x^2+2 x^4\right )^{3/2}}{2 \left (3-2 x^2\right )}\right ) \, dx\\ &=-\left (\frac {1}{2} \int \left (1+2 x^2+2 x^4\right )^{3/2} \, dx\right )+\frac {3}{2} \int \frac {\left (1+2 x^2+2 x^4\right )^{3/2}}{3-2 x^2} \, dx\\ &=-\frac {1}{14} x \left (1+2 x^2+2 x^4\right )^{3/2}-\frac {3}{14} \int \left (2+2 x^2\right ) \sqrt {1+2 x^2+2 x^4} \, dx-\frac {3}{8} \int \left (10+4 x^2\right ) \sqrt {1+2 x^2+2 x^4} \, dx+\frac {51}{4} \int \frac {\sqrt {1+2 x^2+2 x^4}}{3-2 x^2} \, dx\\ &=-\frac {3}{35} x \left (2+x^2\right ) \sqrt {1+2 x^2+2 x^4}-\frac {3}{20} x \left (9+2 x^2\right ) \sqrt {1+2 x^2+2 x^4}-\frac {1}{14} x \left (1+2 x^2+2 x^4\right )^{3/2}-\frac {1}{140} \int \frac {36+48 x^2}{\sqrt {1+2 x^2+2 x^4}} \, dx-\frac {1}{80} \int \frac {192+216 x^2}{\sqrt {1+2 x^2+2 x^4}} \, dx-\frac {51}{16} \int \frac {10+4 x^2}{\sqrt {1+2 x^2+2 x^4}} \, dx+\frac {867}{8} \int \frac {1}{\left (3-2 x^2\right ) \sqrt {1+2 x^2+2 x^4}} \, dx\\ &=-\frac {3}{35} x \left (2+x^2\right ) \sqrt {1+2 x^2+2 x^4}-\frac {3}{20} x \left (9+2 x^2\right ) \sqrt {1+2 x^2+2 x^4}-\frac {1}{14} x \left (1+2 x^2+2 x^4\right )^{3/2}+\frac {27 \int \frac {1-\sqrt {2} x^2}{\sqrt {1+2 x^2+2 x^4}} \, dx}{10 \sqrt {2}}+\frac {51 \int \frac {1-\sqrt {2} x^2}{\sqrt {1+2 x^2+2 x^4}} \, dx}{4 \sqrt {2}}+\frac {1}{35} \left (6 \sqrt {2}\right ) \int \frac {1-\sqrt {2} x^2}{\sqrt {1+2 x^2+2 x^4}} \, dx-\frac {1}{56} \left (867 \left (2-3 \sqrt {2}\right )\right ) \int \frac {1+\sqrt {2} x^2}{\left (3-2 x^2\right ) \sqrt {1+2 x^2+2 x^4}} \, dx+\frac {1}{56} \left (867 \left (3-\sqrt {2}\right )\right ) \int \frac {1}{\sqrt {1+2 x^2+2 x^4}} \, dx-\frac {1}{8} \left (51 \left (5+\sqrt {2}\right )\right ) \int \frac {1}{\sqrt {1+2 x^2+2 x^4}} \, dx-\frac {1}{35} \left (3 \left (3+2 \sqrt {2}\right )\right ) \int \frac {1}{\sqrt {1+2 x^2+2 x^4}} \, dx-\frac {1}{20} \left (3 \left (16+9 \sqrt {2}\right )\right ) \int \frac {1}{\sqrt {1+2 x^2+2 x^4}} \, dx\\ &=-\frac {3}{35} x \left (2+x^2\right ) \sqrt {1+2 x^2+2 x^4}-\frac {3}{20} x \left (9+2 x^2\right ) \sqrt {1+2 x^2+2 x^4}-\frac {309 x \sqrt {1+2 x^2+2 x^4}}{20 \sqrt {2} \left (1+\sqrt {2} x^2\right )}-\frac {6 \sqrt {2} x \sqrt {1+2 x^2+2 x^4}}{35 \left (1+\sqrt {2} x^2\right )}-\frac {1}{14} x \left (1+2 x^2+2 x^4\right )^{3/2}+\frac {17}{16} \sqrt {51} \tanh ^{-1}\left (\frac {\sqrt {\frac {17}{3}} x}{\sqrt {1+2 x^2+2 x^4}}\right )+\frac {309 \left (1+\sqrt {2} x^2\right ) \sqrt {\frac {1+2 x^2+2 x^4}{\left (1+\sqrt {2} x^2\right )^2}} E\left (2 \tan ^{-1}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{20\ 2^{3/4} \sqrt {1+2 x^2+2 x^4}}+\frac {6 \sqrt [4]{2} \left (1+\sqrt {2} x^2\right ) \sqrt {\frac {1+2 x^2+2 x^4}{\left (1+\sqrt {2} x^2\right )^2}} E\left (2 \tan ^{-1}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{35 \sqrt {1+2 x^2+2 x^4}}+\frac {867 \left (3-\sqrt {2}\right ) \left (1+\sqrt {2} x^2\right ) \sqrt {\frac {1+2 x^2+2 x^4}{\left (1+\sqrt {2} x^2\right )^2}} F\left (2 \tan ^{-1}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{112 \sqrt [4]{2} \sqrt {1+2 x^2+2 x^4}}-\frac {51 \left (5+\sqrt {2}\right ) \left (1+\sqrt {2} x^2\right ) \sqrt {\frac {1+2 x^2+2 x^4}{\left (1+\sqrt {2} x^2\right )^2}} F\left (2 \tan ^{-1}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{16 \sqrt [4]{2} \sqrt {1+2 x^2+2 x^4}}-\frac {3 \left (3+2 \sqrt {2}\right ) \left (1+\sqrt {2} x^2\right ) \sqrt {\frac {1+2 x^2+2 x^4}{\left (1+\sqrt {2} x^2\right )^2}} F\left (2 \tan ^{-1}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{70 \sqrt [4]{2} \sqrt {1+2 x^2+2 x^4}}-\frac {3 \left (9+8 \sqrt {2}\right ) \left (1+\sqrt {2} x^2\right ) \sqrt {\frac {1+2 x^2+2 x^4}{\left (1+\sqrt {2} x^2\right )^2}} F\left (2 \tan ^{-1}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{20\ 2^{3/4} \sqrt {1+2 x^2+2 x^4}}-\frac {289 \left (11-6 \sqrt {2}\right ) \left (1+\sqrt {2} x^2\right ) \sqrt {\frac {1+2 x^2+2 x^4}{\left (1+\sqrt {2} x^2\right )^2}} \Pi \left (\frac {1}{24} \left (12+11 \sqrt {2}\right );2 \tan ^{-1}\left (\sqrt [4]{2} x\right )|\frac {1}{4} \left (2-\sqrt {2}\right )\right )}{224 \sqrt [4]{2} \sqrt {1+2 x^2+2 x^4}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 7.27, size = 214, normalized size = 0.46 \begin {gather*} \frac {-892 x-2080 x^3-2456 x^5-752 x^7-160 x^9+4422 i \sqrt {1-i} \sqrt {1+(1-i) x^2} \sqrt {1+(1+i) x^2} E\left (\left .i \sinh ^{-1}\left (\sqrt {1-i} x\right )\right |i\right )-(9669-5247 i) \sqrt {1-i} \sqrt {1+(1-i) x^2} \sqrt {1+(1+i) x^2} F\left (\left .i \sinh ^{-1}\left (\sqrt {1-i} x\right )\right |i\right )+10115 (1-i)^{3/2} \sqrt {1+(1-i) x^2} \sqrt {1+(1+i) x^2} \Pi \left (-\frac {1}{3}-\frac {i}{3};\left .i \sinh ^{-1}\left (\sqrt {1-i} x\right )\right |i\right )}{560 \sqrt {1+2 x^2+2 x^4}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains complex when optimal does not.
time = 0.14, size = 547, normalized size = 1.18
method | result | size |
risch | \(-\frac {x \left (20 x^{4}+74 x^{2}+223\right ) \sqrt {2 x^{4}+2 x^{2}+1}}{140}+\frac {\left (\frac {2211}{280}-\frac {2211 i}{280}\right ) \sqrt {1+\left (1-i\right ) x^{2}}\, \sqrt {1+\left (1+i\right ) x^{2}}\, \left (\EllipticF \left (x \sqrt {-1+i}, \frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right )-\EllipticE \left (x \sqrt {-1+i}, \frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right )\right )}{\sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}-\frac {9669 \sqrt {1+\left (1-i\right ) x^{2}}\, \sqrt {1+\left (1+i\right ) x^{2}}\, \EllipticF \left (x \sqrt {-1+i}, \frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right )}{280 \sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}+\frac {289 \sqrt {-i x^{2}+x^{2}+1}\, \sqrt {i x^{2}+x^{2}+1}\, \EllipticPi \left (x \sqrt {-1+i}, -\frac {1}{3}-\frac {i}{3}, \frac {\sqrt {-1-i}}{\sqrt {-1+i}}\right )}{8 \sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}\) | \(251\) |
elliptic | \(-\frac {x^{5} \sqrt {2 x^{4}+2 x^{2}+1}}{7}-\frac {37 x^{3} \sqrt {2 x^{4}+2 x^{2}+1}}{70}-\frac {223 x \sqrt {2 x^{4}+2 x^{2}+1}}{140}-\frac {3729 \sqrt {-i x^{2}+x^{2}+1}\, \sqrt {i x^{2}+x^{2}+1}\, \EllipticF \left (x \sqrt {-1+i}, \frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right )}{140 \sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}-\frac {2211 i \sqrt {-i x^{2}+x^{2}+1}\, \sqrt {i x^{2}+x^{2}+1}\, \EllipticF \left (x \sqrt {-1+i}, \frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right )}{280 \sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}-\frac {2211 \sqrt {-i x^{2}+x^{2}+1}\, \sqrt {i x^{2}+x^{2}+1}\, \EllipticE \left (x \sqrt {-1+i}, \frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right )}{280 \sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}+\frac {2211 i \sqrt {-i x^{2}+x^{2}+1}\, \sqrt {i x^{2}+x^{2}+1}\, \EllipticE \left (x \sqrt {-1+i}, \frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right )}{280 \sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}+\frac {289 \sqrt {-i x^{2}+x^{2}+1}\, \sqrt {i x^{2}+x^{2}+1}\, \EllipticPi \left (x \sqrt {-1+i}, -\frac {1}{3}-\frac {i}{3}, \frac {\sqrt {-1-i}}{\sqrt {-1+i}}\right )}{8 \sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}\) | \(396\) |
default | \(-\frac {x^{5} \sqrt {2 x^{4}+2 x^{2}+1}}{7}-\frac {37 x^{3} \sqrt {2 x^{4}+2 x^{2}+1}}{70}-\frac {223 x \sqrt {2 x^{4}+2 x^{2}+1}}{140}-\frac {9 \sqrt {1+\left (1-i\right ) x^{2}}\, \sqrt {1+\left (1+i\right ) x^{2}}\, \EllipticF \left (x \sqrt {-1+i}, \frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right )}{35 \sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}+\frac {\left (\frac {6}{35}-\frac {6 i}{35}\right ) \sqrt {1+\left (1-i\right ) x^{2}}\, \sqrt {1+\left (1+i\right ) x^{2}}\, \left (\EllipticF \left (x \sqrt {-1+i}, \frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right )-\EllipticE \left (x \sqrt {-1+i}, \frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right )\right )}{\sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}-\frac {531 \sqrt {-i x^{2}+x^{2}+1}\, \sqrt {i x^{2}+x^{2}+1}\, \EllipticF \left (x \sqrt {-1+i}, \frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right )}{20 \sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}-\frac {309 i \sqrt {-i x^{2}+x^{2}+1}\, \sqrt {i x^{2}+x^{2}+1}\, \EllipticF \left (x \sqrt {-1+i}, \frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right )}{40 \sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}-\frac {309 \sqrt {-i x^{2}+x^{2}+1}\, \sqrt {i x^{2}+x^{2}+1}\, \EllipticE \left (x \sqrt {-1+i}, \frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right )}{40 \sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}+\frac {309 i \sqrt {-i x^{2}+x^{2}+1}\, \sqrt {i x^{2}+x^{2}+1}\, \EllipticE \left (x \sqrt {-1+i}, \frac {\sqrt {2}}{2}+\frac {i \sqrt {2}}{2}\right )}{40 \sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}+\frac {289 \sqrt {-i x^{2}+x^{2}+1}\, \sqrt {i x^{2}+x^{2}+1}\, \EllipticPi \left (x \sqrt {-1+i}, -\frac {1}{3}-\frac {i}{3}, \frac {\sqrt {-1-i}}{\sqrt {-1+i}}\right )}{8 \sqrt {-1+i}\, \sqrt {2 x^{4}+2 x^{2}+1}}\) | \(547\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} - \int \frac {x^{2} \sqrt {2 x^{4} + 2 x^{2} + 1}}{2 x^{2} - 3}\, dx - \int \frac {2 x^{4} \sqrt {2 x^{4} + 2 x^{2} + 1}}{2 x^{2} - 3}\, dx - \int \frac {2 x^{6} \sqrt {2 x^{4} + 2 x^{2} + 1}}{2 x^{2} - 3}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} -\int \frac {x^2\,{\left (2\,x^4+2\,x^2+1\right )}^{3/2}}{2\,x^2-3} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________